Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·18h·
Discuss: Hacker News
✅formal methods
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🔄compilers
Measuring the effectiveness of software development tools and practices
amazon.science·11h·
Discuss: Hacker News
🌐network programming
Good context leads to good code: How we built an AI-Native Eng Culture
blog.stockapp.com·15h·
Discuss: Hacker News
✅formal methods
Radshield: Software Radiation Protection for Commodity Hardware in Space
radshield.github.io·15h·
Discuss: Hacker News
✅formal methods
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
🔄compilers
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·13h·
Discuss: Hacker News
✅formal methods
Beta-Relased: OWASP Operational Technology (OT) Top 10
ot.owasp.org·36m·
Discuss: Hacker News
✅formal methods
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·6h·
Discuss: Hacker News
🔄compilers
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
✅formal methods
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·1d·
Discuss: Hacker News
✅formal methods
ECScape: Understanding IAM Privilege Boundaries in Amazon ECS
sweet.security·10h·
Discuss: Hacker News
✅formal methods
Doing versus Delegating
basta.substack.com·14h·
Discuss: Substack
🌐network programming
Kubernetes for Snowflake
espresso.ai·18h·
Discuss: Hacker News
⚡query optimization
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·2d·
Discuss: Hacker News
🔄compilers
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·3d·
Discuss: Hacker News, r/programming
✅formal methods
AI in production: reflecting on one year, five projects and factories deployed
medium.com·4h·
Discuss: Hacker News
✅formal methods
Project Ire autonomously identifies malware at scale
microsoft.com·1d·
Discuss: Lobsters, Hacker News
✅formal methods
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
✅formal methods
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·15h·
Discuss: Hacker News
✅formal methods